Myhill Nerod Theorem